Xavier Leroy

Results: 125



#Item
41Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()

Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy () INRIA Paris-Rocquencourt Sandrine Blazy ()

Add to Reading List

Source URL: www.irisa.fr

Language: English - Date: 2010-05-03 12:09:18
    42News from the EDOS project: improving the maintenance of free software distributions ∗ Jaap Boender 1 , Roberto Di Cosmo 1 , Berke Durak 2 Xavier Leroy 2 , Fabio Mancinelli 1 , Mario Morgado 3 David Pinheiro 3 , Ralf T

    News from the EDOS project: improving the maintenance of free software distributions ∗ Jaap Boender 1 , Roberto Di Cosmo 1 , Berke Durak 2 Xavier Leroy 2 , Fabio Mancinelli 1 , Mario Morgado 3 David Pinheiro 3 , Ralf T

    Add to Reading List

    Source URL: lambda-diode.com

    Language: English - Date: 2011-08-02 21:34:36
      43Programming and verifying a compiler with Coq: an experience report Xavier Leroy INRIA Paris-Rocquencourt Dependently Typed Programming 2008

      Programming and verifying a compiler with Coq: an experience report Xavier Leroy INRIA Paris-Rocquencourt Dependently Typed Programming 2008

      Add to Reading List

      Source URL: sneezy.cs.nott.ac.uk

      Language: English - Date: 2008-02-25 07:37:29
        44The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

        The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

        Add to Reading List

        Source URL: caml.inria.fr

        - Date: 2003-09-29 11:21:55
          45Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy

          Journal of Automated Reasoning manuscript No. (will be inserted by the editor) A list-machine benchmark for mechanized metatheory Andrew W. Appel · Robert Dockins · Xavier Leroy

          Add to Reading List

          Source URL: cristal.inria.fr

          - Date: 2011-04-11 03:13:40
            46Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

            Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy

            Add to Reading List

            Source URL: cristal.inria.fr

            - Date: 2009-12-15 04:00:36
              47The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

              The Objective Caml system release 3.07 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

              Add to Reading List

              Source URL: caml.inria.fr

              Language: English - Date: 2003-07-22 08:56:19
                48The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

                The Objective Caml system release 3.09 Documentation and user’s manual Xavier Leroy (with Damien Doligez, Jacques Garrigue, Didier R´emy and J´erˆome Vouillon)

                Add to Reading List

                Source URL: caml.inria.fr

                Language: English - Date: 2005-10-27 07:58:02
                  49Xavier Leroy Pierre Weis ´ ERENCE ´ MANUEL DE REF

                  Xavier Leroy Pierre Weis ´ ERENCE ´ MANUEL DE REF

                  Add to Reading List

                  Source URL: caml.inria.fr

                  Language: French - Date: 2009-07-20 04:38:50
                    50Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy

                    Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Formal verification of a C-like memory model and its uses for verifying program transformations Xavier Leroy · Sandrine Blazy

                    Add to Reading List

                    Source URL: cristal.inria.fr

                    Language: English - Date: 2008-02-13 03:53:53